Integrating Two Towers and GreatSPN
نویسندگان
چکیده
We describe the integration of the EMPA based software tool TwoTowers and the GSPN based software tool GreatSPN, in order to fully realize a multiparadigm approach to the functional and performance modeling and analysis of concurrent and distributed systems. The integration is achieved via an improved semantics mapping EMPA terms onto GSPN models.
منابع مشابه
GreatSPN Enhanced with Decision Diagram Data Structures
Decision diagrams (DDs) have made their way into Petri net (PN) tools either in the form of new tools (usually designed from scratch to use DDs) or as enhancements to existing tools. This paper describes how an existing and established tool (GreatSPN) has been enhanced through the use of DDs provided by an existing open-source library (Meddly). We benchmark the enhanced tool and discuss lessons...
متن کاملIntegrating TwoTowers and GreatSPN through a compact net semantics
Stochastic process algebras (SPAs) and stochastic Petri nets (SPNs) are two well known formal methods for the functional and performance modeling and analysis of computer, communication and software systems. Starting from the mappings from process algebras to Petri nets proposed in the literature to provide a truly concurrent semantic framework to concurrent programming languages, in this paper...
متن کاملEffect of Ambient Condition on the Shower Cooling Tower in Four Type of Climates Condition
Water cooling by ambient takes place with two mechanisms of heat and mass transfer. Using packings at wet cooling towers has disadvantages such as obstruction, reduction of life expectancy and production of algae and fungi. In shower cooling towers types of towers packings are completely removed and water intake is in direct contact and heat transfer takes place in two ways of latent and sensib...
متن کاملdmcG : A Distributed Symbolic Model Checker Based on GreatSPN
We encountered some limits when using the GreatSPN model checker on life-size models, both in time and space complexity. Even when the exponential blow-up of state space size is adequately handled by the tool thanks to the use of a canonization function that allows to exploit system symmetries, time complexity becomes critical. Indeed the canonization procedure is computationally expensive, and...
متن کاملPerformance evaluation with SWN A technical contribution
We present a solution to bind a highly specialized, fine tuned software tool for performance evaluation of complex systems (GreatSPN) with a general purpose interactive numerical environment (Scilab). We show how users can benefit from the respective powers of these tools. Our package allows computation of various performance indices not directly available in GreatSPN. RÉSUMÉ. Nous présentons u...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000